Search Results
[ML'22] Interpreting OCaml GADTs into Coq
OCaml 2021 - 25 years of OCaml
OCaml Workshop 2021 Keynote - Xavier Leroy: 25 years of OCaml
NL Research Seminars #30| GOSPEL --- The OCaml Specification Language and its Ecosystem
Nicolas Behr - Towards Executable Applied Category Theory in Coq
[POPL 2021] The Taming of the Rew: A Type Theory with Computational Assumptions (full)
OCaml Workshop 2020 - OCaml Under The Hood: SmartPy
CS3100 POP - Lec 33 - GADTs
Stephanie Weirich: A Dependent Dependency Calculus
PL Theory 1: How to categorize programming languages along multiple axes - Jan van Brügge
06 Dependent Types and Effects in F*
07 Type Directed Compilation of Row typed Algebraic Effects
![[ML'22] Interpreting OCaml GADTs into Coq](https://img.youtube.com/vi/8VPygk6NHB8/hqdefault.jpg)
![[POPL 2021] The Taming of the Rew: A Type Theory with Computational Assumptions (full)](https://img.youtube.com/vi/OtLzNbqhRvk/hqdefault.jpg)
